home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ftp.cs.arizona.edu
/
ftp.cs.arizona.edu.tar
/
ftp.cs.arizona.edu
/
tsql
/
doc
/
tsql.mail
/
000109_pernici@IPMEL2.ELET.POLIMI.IT _Thu May 6 19:23:31 1993.msg
< prev
next >
Wrap
Internet Message Format
|
1996-01-31
|
6KB
Received: from Arizona.edu (Merlin.Telcom.Arizona.EDU) by optima.CS.Arizona.EDU (5.65c/15) via SMTP
id AA04460; Thu, 6 May 1993 10:20:07 MST
Received: from icil64.cilea.it (SMTPUSER@IMICLVX) by Arizona.edu (PMDF #2381 )
id <01GXUO3XSW408ZENGJ@Arizona.edu>; Thu, 6 May 1993 10:19:52 MST
Received: from ipmel2.elet.polimi.it by icil64.cilea.it (PMDF #2920 ) id
<01GXV6VY26JK935Q5X@icil64.cilea.it>; Thu, 6 May 1993 19:17:50 MET
Received: by ipmel2.elet.polimi.it (5.57/Ultrix3.0-C) id AA10228; Thu,
6 May 93 19:23:32 GMT
Date: Thu, 6 May 93 19:23:31 GMT-1:00
From: pernici@IPMEL2.ELET.POLIMI.IT (Barbara Pernici)
Subject: indeterminacy and so on
To: tsql@cs.arizona.edu
Message-Id: <9305061923.AA10228@ipmel2.elet.polimi.it>
Content-Type: TEXT/PLAIN; CHARSET=US-ASCII
Content-Transfer-Encoding: 7BIT
X-Mailer: ELM [version 2.3 PL11]
\documentstyle[11pt]{article}
\newcommand{\entry}[1]{\subsubsection*{#1}}
\begin{document}
\subsection{Temporal-indefiniteness vs temporal-indeterminacy}
Dear Curtis,
we agree with you and Rick that the ongoing discussion is contributing to a
more precise definition of the involved concepts. We also agree with Rick that
these definitions should appear in the next version of the glossary.
Your last reply (03/05/93) put in evidence some basic issues that have to be
clarified.
First of all, you correctly said that we need to argue why chronological
definiteness/indefiniteness terms are better than absolute/relative terms.
We agree with you and we probably need to refine the corresponding entries in
the glossary (both the definition component and the discussion one).
The key point is that these pairs of concepts are related, but they are not
synonymous. In particular, the term ``relative time'' used in the literature
to qualify the occurrence time of an event when it is given with respect to the
occurrence time of another event is not a synonymous of ``chronologically
indefinite''.
Let us preliminary define two terms, namely ``occurrence time'' and ``temporal
qualification'', that are needed in the discussions about the notions of
indefiniteness and indeterminacy.
\begin{verbatim}
\subsection{Occurrence time}
\entry{Definition}
The event occurrence time is the time at which
the event occurs in the real-world, i.e., the
valid time associated with the event.
\entry{Alternative Names}
\entry{Discussion}
\end{verbatim}
\begin{verbatim}
\subsection{Temporal Qualification}
\entry{Definition}
The temporal qualification of a statement is the component
of the statement that specifies the temporal localization
of the denoted event/fact.
\entry{Alternative Names}
Time specification.
\entry{Discussion}
First of all, we assume that implicit temporal qualifications
(e.g. tensequalifications) are always maken explicit. As an
example, we assume that the statement ``They went to
Arlington'' is rewritten as ``Sometimes in the past is true
that they {\em go} to Arlington''.
We distinguish between chronologically stable and unstable
temporal qualifications. Chronologically stable qualifications
specify absolute temporal positions. This is the case of dates,
e.g. June 15, 1993. Chronologically unstable qualifications
specify temporal positions in terms of displacements with respect
to the current time ({\em now}) which is left implicit. Examples
are: tomorrow, three days ago, next month. It is worth noting
that temporal qualifications relating the occurrence time of
an event/fact to the occurrence time of another event/fact
different from {\em now} are chronologically stable. They specify
an absolute temporal position which may possibly be unknown
(it depends on common sense as well as context knowledge).
Examples are: ``the French revolution occurred 397 years after
the discovering of America'' and ``Mary's salary was raised
before Lucy's''.
\end{verbatim}
On the basis of these preliminary notions, the definitions of chronological
definiteness and indefiniteness we originally proposed allow us to precisely
characterize the intended concepts:
\begin{verbatim}
\subsection{Chronologically Definite}
\entry{Definition}
Chronologically definite statements are statements whose truth
value does not vary, because it does not depend on the time at
which they are evaluated. Chronologically definite statements
are characterized by chronologically stable temporal qualifications.
\entry{Alternative Names}
\entry{Discussion}
Examples are: ``Jack was killed on xx/xx/1990'',``the French
revolution occurred 397 years after the discovering of America''.
In particular, consider the statement ``the French revolution
occurred 397 years after the discovering of America'', where
the occurrence time of ``the French revolution'' is given with
respect to the occurrence time of ``the discovering of America''
by means of the temporal qualifier ``397 years after'' (relative
time). This statement is chronologically definite, because its
truth value does not depend on the time at which it is evaluated.
\end{verbatim}
\begin{verbatim}
\subsection{Chronologically Indefinite}
\entry{Definition}
Chronologically indefinite statements are statements whose truth
value may vary, because it depends on the time at which they are
evaluated. Chronologically indefinite statements are characterized
by chronologically unstable temporal qualifications or are devoid
of any temporal qualification (a statement with no temporal
qualification is equivalent to a statement characterized by a zero
displacement with the respect to the implicit current time).
\entry{Alternative Names}
\entry{Discussion}
Examples are: ``Mary's salary was raised yesterday''.
\end{verbatim}
\vskip0.5cm
\noindent
Comments are welcome
\vskip0.5cm
\noindent
Angelo Montanari, Elisa Peressi, Barbara Pernici
\begin{verbatim}
Dipartimento di Matematica e Informatica
Via Zanon, 6
33100 Udine (Italy)
ph. +39 432 272 218/206
fax +39 432 510755
montanari@uduniv.cineca.it / montana@udmi5400.cineca.it
pernici@uduniv.cineca.it / pernici@ipmel2.polimi.it
peressi@udmi5400.cineca.it
\end{verbatim}
\end{document}